Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
91	Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:51 Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Mathematical logic Computer science
92	J-Calc: A typed lambda calculus for Intuitionistic Justification Logic Konstantinos Pouliasis Giuseppe Primiero Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-15 08:49:03 Logical syntax Propositional calculus Philosophical logic Natural deduction Entailment Interpretation Curry–Howard correspondence Formation rule Witness Logic Proof theory Deduction
93	Abstract machines for higher-order term sharing Connor Lane Smith University of Kent [removed] Abstract Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Symbol Lambda calculus De Bruijn index Curry–Howard correspondence Orbifold Mathematics Computer science Theoretical computer science
94	Flexible Type Analysis Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:26 Programming language theory Mathematics Type constructor Type system Recursive data type Turn Constructor Ordinal numbers Curry–Howard correspondence Type theory Mathematical logic Data types
95	Proving the Security of AES Substitution-Permutation Network Thomas Baign`eres? and Serge Vaudenay EPFL http://lasecwww.epfl.ch Add to Reading List Source URL: www.baigneres.net Language: English - Date: 2013-07-24 10:25:38 Entailment Logical consequence Metalogic Curry–Howard correspondence Advanced Encryption Standard Orbifold Measure of non-compactness Logic Deduction Proof theory
96	Accessibility, Matching, Use: on limitations of computing in a distributed setting Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-18 06:39:21 Dependently typed programming Logic in computer science Philosophy of computer science Type theory Mathematics Ordinal number Computer science Proof theory Mathematical logic Curry–Howard correspondence
97	Validity in a Modal Procedural Semantics Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-10-21 12:17:12 Proof theory Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Entailment Ordinal number Logic Mathematical logic Mathematics
98	Procedural Semantics for a Modal Type System Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-07-22 05:24:16 Logic Proof theory Programming language semantics Curry–Howard correspondence Philosophy of computer science Type theory Operational semantics Programming language Interpretation Theoretical computer science Logic in computer science Mathematical logic
99	The inconsistency of a Brouwerian continuity principle with the Curry–Howard interpretation Martín Hötzel Escardó1 and Chuangjie Xu1 1 School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-15 05:54:45 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Lambda calculus Intuitionistic type theory Constructible universe Mathematics Mathematical logic Theoretical computer science
100	AURA: Preliminary Technical Results University of Pennsylvania Technical Report MS-CISApril 17, 2008 Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Type theory Dependently typed programming Functional languages Logic in computer science Lambda calculus Calculus of constructions Generalized algebraic data type Monad Curry–Howard correspondence Software engineering Declarative programming Programming language theory

UPDATE